package ch.epfl.lara.pm.parser;


import ch.epfl.lara.pm.ast._
import ch.epfl.lara.pm.util.Tester

import scala.util.parsing.combinator._

import ch.epfl.lara.pm.transformation.Desugarizer


object TestParser extends Tester {
    
  def main(args: Array[String]) = {
    val program = parseOnly(args(0))
    println("--------------------- Parsing Result ---------------------")
    PrettyPrinter(program)
    println("----------------------------------------------------------\n")
        
    println("--------------------- Verify Parsing Result --------------")
    PrettyPrinter(test(parse(PrettyPrinter.format(program))))
    println("----------------------------------------------------------\n")
    
  }
  
  
}
